已知两个数的积为0，可以确定这两个数中至少有一个是0。