Cauchy–Riemann Characterisation of Complex Differentiability