a,b,cは整数でa^2-3b^2=c^2を満たす。
aが奇数なら、ｂは4の倍数である。
いくら式変形しても４の倍数になりません。