What facts about continuous functions should be proved?