単純に
x^2+y^2+1はxの倍数だからy^2+1もxの倍数ってだけの話じゃないのか