45

Cantor's Intersection Theorem

📜

The statement of the theorem

A decreasing sequence of non-empty compact closed sets in a metric space has a non-empty intersection.
Source: Wikipedia