两数之积是0,则这两个必有一个是0,如何证明这个问题