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

theorem :: SQUARE_1'5
  2 * a = a + a;
