Simplicial approximation theorem