# Cantor Intersection Theorem

If Fn is a collection of closed subspaces of a complete metric space such that $F_{n+1} \in F_n$ for all n and $\lim_{n \to \infty} diameter(F_n) = 0$, then Fn is a single point.