ｎ は自然数とする。
ｎ2 と (ｎ＋1) 2 との間には、必ず素数が存在する。（ ルジャンドル予想 ）