Euler characteristic of a product ($\chi (X\times Y)=\chi (X)\chi (Y)$)

For finite CW complexes, the product cell structure has one $(p+q)$-cell for every pair consisting of a $p$-cell and a $q$-cell. Taking the alternating cell count gives