size of the product of two multinomials

This ends the proof of being an integral domain.