Rudin Illustrated Proof: Compact subsets of metric spaces are closed.

I illustrate and explain Walter Rudin’s proof for the following theorem from Principles of Mathematical Analysis: Theorem 2.34 Compact subsets of metric spaces are closed. The argument is Rudin’s but the wording and illustrations are my own.