x,yを異なる4n+1型の素数とする。 どのようなx,yをとっても、 xy=a^2+b^2=c^2+d^2 となるような自然数a,b,c,dが存在します。 2xy=e^2+f^2=g^2+h^2 となるような自然数e,f,g,hも存在します。 それでは今回予想したことを書きます。 (a+c)と(b+d)の最大公約数…