v₂(x²+7)が有界としてM=max{v₂(x²+7)}とおく
1²+7=2³よりM≧3
x²+7 =2^MA (A:odd)とおける
M≧1よりx:odd
(x+2^(M-1))²
=2^MA + 2^Mx+2^(2M-2)
=2^(M+1)((A + x)/2+2^(M-3))
矛盾