Buktikan bahwa topologi yang diinduksi oleh metrik apa pun pada himpunan hingga \(X\) adalah topologi diskret. Kemudian konstruksikan metrik yang menginduksi topologi diskret dan simpulkan bahwa suatu topologi pada himpunan hingga termetriskan jika dan hanya jika topologi itu diskret.