族 a=4r4a=4r^4a=4r4 だけで必要な無限性が証明される。
したがって任意の自然数 nnn について n4+an^4+an4+a は 111 より大きい二整数の積であり、素数ではない。r=2,3,4,…r=2,3,4,\ldotsr=2,3,4,… は相異なる aaa を無限個与えるので証明が終わる。