対称性により 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) 以下の素数はないので、この値は素数条件を満たす。