Como $X$ é enumerável existe $g: \omega \rightarrow X$ sobrejetora, como da hipótese $ f: X \rightarrow Y$ é sobrejetora, temos uma função $h = f \circ g$,tal que $h: \omega \rightarrow Y$, e $h$ é sobrejetora pois é a composta de duas funções sobrejetoras.