Question about product

Negation