 Using then the homotopy extension property to extend this to a homotopy on all of "X", and patching these homotopies together, will finish the proof.For details, consult Hatcher.The cellular approximation theorem can be used to immediately calculate some homotopy groups.