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