cはkの約数なのでとなる。ここで、kは奇数なので(k-1)は偶数となる。素因数は全て偶数である。右辺には奇数であるcが含まれている。よって、この等式は成り立たない。ない形の偶数の時、次の値は奇数にすることができることを証明する。形をしていないなら、奇数の素因数を必ず含む。偶数である素数は2以外存在しない。2以外の素因数は全て奇数になる。形をしていないなら、奇数の素因数を必ず含む。)の場合の証明をする。