>>21-25

長々と解説してるけど…その解説は肝心の
「尻尾の同値類全体に共通する尻尾がある」
の証明にはならないね

証明できるわけない だってウソだからw

https://rio2016.5ch.net/test/read.cgi/math/1576852086/280

同値類から取り出した有限個の列からは共通の尻尾がとれるが
無限個の列からは共通の尻尾が取り出せない場合がある!