8の場合は2つの輪の中から有理数点を選んでくると可算な対応つけれるって有名な話があるね