ユークリッド空間の可算稠密推移性

ユークリッド空間の可算稠密推移性を証明します.