『kは整数とする。方程式 x^2-y^2=k の解(a,b)で、a,bが
ともに奇数であるものを奇数解とよぶ。

方程式 x^2-y^2=k が奇数解をもつための必要十分条件は
kが8の倍数であることを証明せよ。』

この問題を私は次のように解きました。
�T
「x^2-y^2=8m ならば xもyも奇数」を示し、
かつ
�U
「xもyも奇数 ならば x^2-y^2=8m」を示せばよい。

�Uのほうは示せたのですが、�Tのほうがうまくいきません。
�Tのほうは、まず
�Tの対偶をつくり「xまたはyが偶数ならば x^2-y^2は8の倍数ではない」
を示す方針でやりました。ですが、この場合
x=8、y=4で左辺は48で8の倍数になり、対偶の反例になって
しまいます。

どこが間違っているのでしょうか?

また正しい証明のやりかたを教えて下さい。
お願いします。