theorem Lm53: :: ALGNUM_1:43

In ((- (1. F_Rat)),F_Complex) = - (1. F_Complex)