Simple homotopy theory: Main Theorem