Ответ:

Произведение равно нулю тогда и только тогда, когда хотя бы один из множителей равен нулю.

Ответ: необходимо и достаточно.