preimage of continuous function theorem