proof explanation - Question about theorem in Hatcher's Algebraic ...