Если произведение равно нулю, когда один из множителей равен нулю?

Если произведение равно нулю, то, по крайней мере, один из множителей должен быть равен нулю. Это фундаментальное свойство умножения. Например, если у нас есть выражение $$a \cdot b = 0$$, то либо $$a = 0$$, либо $$b = 0$$, либо оба равны нулю.