theorem Th17: :: SIN_COS9:17

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