theorem Th37: :: SIN_COS9:37

( arctan (- 1) = - (PI / 4) & arctan . (- 1) = - (PI / 4) )