theorem Th7: :: SIN_COS6:7

( sin (- (PI / 2)) = - 1 & sin . (- (PI / 2)) = - 1 )