I'm looking for a proof of the statement that is simply connected.

I've already got a proof, but I'm trying to find another one (one that uses the fact that a product of simply connected space is again simply connected).

Proof: Any loop in

can be homotopied to a path on the unit sphere by . Paths on the sphere can be homotopied to a point for