P数(ピタゴラス数)　…
　2または4n+1型の奇素数を含み、4n+3型の奇素数を含まないか偶数個含むもの。
　ただし 1 と 4ベキ を除く。

ラグランジュの恒等式(n=2)より
　d^2 = (p+qr)^2 + (pr-q)^2 = (p-qr)^2 + (pr+q)^2
なのでP'数はP数。（p=q, r=1 を除く)