>>760 補足

もちろん、上記で構成した100列の同値類が、時枝記事の解法でそのまま使える訳ではないが
フルバージョンの選択公理なしで、100列の同値類の存在のみなら、証明できると
まあ、もう少しもっともらしい数列も構成可能と思うがね（＾＾
まあ、この程度で良いでしょう！（＾＾；