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