reserve a, b, c, d, e for Complex;

theorem :: SQUARE_1'15
  (a + a) / 2 = a;
