Solution (source code)

= Solution

\b[True.] A separation of $Y$ into two disjoint nonempty open sets would pull back to a separation of $X$: <continuity> gives openness, and surjectivity gives nonemptiness. This contradicts <connectedness> of $X$.