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