Solution
= Solution
\b[True.] If open sets cover $Y$, their <inverse images> under the continuous <surjection> $f$ cover $X$. <Compactness> of $X$ gives a finite subcover; <surjectivity> then makes the corresponding finite family cover $Y$. This proves the <compactness> of a <continuous image of a compact space>.