Let \(f:\mathbb C\to \mathbb C\) be a function such that:
(a) \(f\) is continuous;
(b) \(f\) is holomorphic at all points \(z\) not on the real axis;
(c) if \(z\) is on the real axis then \(f(z)\) is real.
Show that \(f(\bar z)=\overline {f(z)}\) and that \(f\) is holomorphic on all of \(\mathbb C\). In words, applying \(f\) to the conjugate input gives the complex conjugate of the original output.