>>67
x[m+1]=x[m]+1
y[m+1]=(y[m]+1)^{x[m]}

任意のn>0を法としたときにx[n] y[n]ともに周期的に変化する
nを法として0に合同ならば任意のa>0につきamを法としても0に合同

とだけ書いておく