两个自然数的乘积一定是合数吗