Heine–Cantor Theorem

If is a continuous function between two metric spaces and , and is compact then is uniformly continuous.