P数(ピタゴラス数)　…　　　　　　　　　　>>249
　cc = aa + bb　　　(明らかに a≠b)
　⇔　c = xx + yy　(x<y)　　　(*)
　⇔　c は4n+1型の素因数をもつ。

*　このとき {a, b} = {yy-xx, 2xy}

P'数
　P数のうち、平方が 1+aa の形の約数をもつもの。　　>>256

例)
d = 377 = 13･29 = (2^2+3^2)･(2^2+5^2)
は 1+aa の形の約数を持たないが
dd = 377^2 = (13･29)^2 = 13･(1+70^2)　なので　d ∈ P'