>>687
(b+d+a-c) > (b+d-a+c)だから、
(b+d-a+c) = 1
(b+d+a-c) = p(pは素数）
と仮定。
これより、
a=(p-1)/2+c
b=(p+1)/2-d
ac = (p-1)c/2 + c^2
bd = (p+1)d/2 + d^2
ac+bd = p = (p-1)c/2 + (p-1)d/2 + c^2-d^2
≧(p-1)c/2 + (p+1)d/2 + 1 > p+1
p>p+1になってしまい矛盾。