 Euler characteristic of a product

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