x^2+y^2=(y+3)^2は互いに素である整数解を持たない (これは日高は証明できていないが)
ということになる

x^2+y^2=(y+3)^2は互いに素である整数解を持つのでしょうか？