Whitehead's Theorem

Maps between CW-Complexes that induce Isomorphisms on all Homotopy Groups are actually Homotopy equivalences.

See also CW-Complex, Homotopy Group, Isomorphism