若两个有理数之积为0那么至少有一个有理数是0对吗