Set and . Let be a generator and let be the class restricting to . The ring computation in part (a) gives
If , then homotopy invariance of cohomology gives , hence . But because , whereas naturality of the cup product would give
a contradiction. No such map exists.