Solution (source code)

= Solution

\b[True.] If $f(a_1)=f(a_2)$ with $a_1\ne a_2$, then $(g\circ f)(a_1)=(g\circ f)(a_2)$.