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

theorem :: SQUARE_1'6
  a = a - b + b;
