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

theorem :: REAL_2'22_1, INT_1'1, REAL_1'17
  a + b - c = a - c + b;
