>>556
辻褄あってますよ
>>557
精神的に正常ですよ

＞どの項a_nも、それより後ろに、tail（しっぽ）を持っていますよね？

ええ

＞あなたの論法だと
＞”どの項a_nも、一致番号ｎ＋１では、（それより後ろの）tail（しっぽ）に入らない”
＞→”tail（しっぽ）は存在しない”が証明できてしまいますよ（＾＾

肝心な言葉が抜けてますよ
「同値類全体で共通のtail（しっぽ）は存在しない」
が証明できてしまう　つまり貴方は間違ったということです