Continuous Images of Compact Sets Are Compact