素数ｐに対して素数階乗ｍPｎ♯を以下のようにとる。 （ｐ、ｍPｎ♯）＝１ ｐ－ｍPｎ♯＜０ ｍはP（ｎ＋１）の倍数ではない。 ここで、ｐ－ｍPｎ♯＝ーAが絶対値でP（ｎ＋１）＾２未満に収まれば自動的に素数になる。 証明 もし、素数にならないなら合成数である…