INTEGERS
id:integers
非正則素数
非正則素数の定義と無限性の証明
