>面白いのは尻尾同値類の代表が選択公理によって取得できる箇所
ここは当然だしそれなりに面白いことは全く否定していない