素数が無限に存在することは証明されたこと。
確か中学校(初等数学)レベルの証明だったろ?