theorem Th17: :: SIN_COS9:17
( tan . (- (PI / 4)) = - 1 & tan (- (PI / 4)) = - 1 )