It is not too hard to see that for general groups $K(G\times H,d)\cong K(G,d)\times K(H,d)$. So three follows from the first two with the product CW structure.
Thomas Rot
- 7.6k
- 2
- 32
- 54