theorem Lm53: :: ALGNUM_1:43
In ((- (1. F_Rat)),F_Complex) = - (1. F_Complex)