>>584 つづき

補足：
そもそも、しっぽの一致による同値類だから、しっぽの共通部分が空集合だという考え（ “∩(M=2～n+1) A_M= Φ” ）の方がおかしいだろ。
これ、>>133 にもあるように、“無限－無限=無限”の場合に相当する話だな。

つづく