したがって, d', b' は
a² = 3p+1, b² = 3q+1
(p, gは0以上の整数)
と表され, +6=3(p+g) +2 より,
a +6は3で割ると2余る。
一方, cは3m+1,3m+2,3m+3(m
は0以上の整数) のいずれかの形で表さ
れる。
3m+1,3m+2の2乗は3で割ると1余
る数, 3m+3=3(m+1) の2乗は3の倍
数になるから,2は3で割ると1余る数
または3の倍数である。
これは, d' + 2 = c2 であることに矛盾
IIL
する。
したがって, a, bのうち少なくとも1つ
3の倍数である。
L
12