Part 1 makes a degree-one map of closed oriented -manifolds. The cohomological injectivity of a degree-one map embeds into . Hence has no cohomology in degrees ; Poincare duality and the fundamental class give
Thus is an integral homology sphere.
The long exact sequence of the pair has local relative homology only in degree , and the map is an isomorphism because it sends the fundamental class to the local orientation. Exactness now gives
for every . Since , the latter has the integral homology of a point.