>>546
x,y<5^nなるnが存在するので
An,xとAn,yで分離できる
(完)