Tell me a joke about the Heine Borel Theorem