James R. Munkresさんの『Topology Second Edition』では類似の定理を3ページかけて証明しています。