>>797
つまり必要十分条件は[x^2-y^2=kが奇数解をもつ]⇔[kは8の倍数]ってことですか？