Jawaban U.93.1.

Perluasan itu bijektif kontinu; gunakan teorema bijeksi kompak-ke-Hausdorff.
in-context