Fundamental theorem of simplicial homotopy theory