>>975
xy = ±i の複素整数の解(x,y) を
x,y が実部か虚部が 0 でないとあり得ない、としちゃったところ?

確かに適当な気もする・・・