主張：大於1的自然數若不是質數，則稱之爲合數，而賈伯斯曾證明有無限多個質數存在。
領域：生活
判定：refutes