x,yの一方が負の場合

xが正とする
x-yが割り切れる5^nを見つければ、
A(n+1),xとA(n+1),(y+5^(n+1))で分離できる
(完)