Tahap 1: subhimpunan berhingga dari ruang metrik selalu kompak.

Tahap 2: pilih dua titik berbeda pada garis real.