>>540>>544
>>異なるnに対しては(X_n,Y_n)は必ず異なる

というところがよくわかりません。
たとえば「3,2,1,6,5,4,・・・」
という数列ですと(X_5,Y_5)=(2,3)=(X_6,X_6)
だと思うのですが・・・