由对称性可设 a>=ba>=ba>=b。若 a=ba=ba=b,互素性迫使 a=b=1a=b=1a=b=1,于是 n=2n=2n=2。因为不存在不超过 sqrt(2)sqrt(2)sqrt(2) 的素数,这个值满足素数条件。