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