>>190
>要素をたどっていく操作は必ず有限回でおわる

要素をたどっていく操作は、∈関係によります
QED
(^^;