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

theorem :: REAL_2'71_3
  -a = a / (-1);
