Work with coefficients . For , the mod-two cohomology ring of real projective space and the Künneth theorem give
where all three generators have degree one. Any induced map on cohomology has , with . By naturality of the cup product, the only possible term in top degree is
All other terms vanish because their exponent of or exceeds . But
is even for every . Thus the displayed top-degree induced map on cohomology is zero for every .
Both top-degree homology groups are one-dimensional over , and their dual cohomology groups pair with them nondegenerately. Naturality of this evaluation makes dual to , so is also zero and cannot be an isomorphism. This is the mod-two degree obstruction for equal projective factors. Consequently
If zero is included among the allowed values, is a point and the unique map is an isomorphism on . In that convention, the only value is .