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