素数が無限にあることは、古代ギリシャのユークリッドがすでに証明していた。