Continuity $\iff$ Preimage is closed whenever set is closed

Solution 1:

(to remove this from the list of unanswered questions)

Your proof is correct.