ある正整数YとZ(Y<Z)があり、Y+Z、-Y+Zが共に平方数ならば、
YとZはあるピタゴラス数の一部です。

そのピタゴラス数が『原始』なのかどうかは、YとZが互いに素（or最大公約数が1）かどうか
で判断できますが、
Y≡0、Z≡1　(mod 4)
で判断することはできません。(例:Y=100,Z=125)