Let be the given closed three-dimensional manifold. It is connected by the meaning of simply connected. An orientation chosen at one point can be transported along paths, and its sign change around loops defines a homomorphism . Since the fundamental group is trivial, this monodromy vanishes; thus is orientable.
The first homology group is the abelianization of the fundamental group, giving . Also . The universal coefficient theorem for cohomology in degree one gives
Both outer groups vanish: the first because is free and the second because . Hence . Integral Poincare duality now gives and . Homology in degrees greater than three vanishes by the same duality with negative-degree cohomology. Consequently
These are precisely the homology of a sphere for , proving that simply connected closed three-manifolds are homology spheres. No homeomorphism classification of three-manifolds is needed.