p^q*rr の形のはずだが…
pは奇素数、
p≡q≡1 （mod 4)
r：奇数（pで割れない)。