Let $n \geq 1$ be an integer and $P \subset \mathbb{R}^n$ a polytope. Show that $P$ has a finite number of faces and at least one vertex.