Homotopy Invariance of the Fundamental Group