主張：大於1的自然數若不是質數，則稱之爲合數，而曾有古希臘數學家證明有無限多個質數存在。
領域：生活
判定：supports