Allí se conoce ejemplo de CW-complejos X, Y, X′ y Y′, tal que sus anillos de cohomología (con coeficientes en Z) son isomorfos: $$H^(X)\simeq H^(X'), H^(Y)\simeq H^(Y'), pero sus productos tienen anillos de cohomología diferentes: $$H^(X\times Y)\ne H^(X'\times Y')?
tal vez esta conjetura es falsa por alguna construcción obvio con ⌣-producto, pero estoy fallando a inventarlo.