continuous image of compact space is compact proof