The short exact coefficient sequence
induces the integral Bockstein homomorphism
If is reduction modulo , then
Equivalently, if an integral cochain lifts a modulo- cocycle and , then and .
For integral lifts of classes , the cup product coboundary formula is
Dividing by and reducing modulo proves the Bockstein derivation rule
Now assume that the stated closed five-manifold exists. Its top integral cohomology makes it connected and orientable. The long exact sequence from a coefficient sequence for multiplication by shows that
and that reduction is an isomorphism. Hence
The same coefficient sequence gives .
Choose and put . By Poincare duality over , the pairing
is nondegenerate. Both factors are one-dimensional, so . But because , while the derivation rule and graded commutativity of the cup product give
This contradicts . Therefore no such manifold exists.