theorem Th9: :: SIN_COS6:9

( cos (- (PI / 2)) = 0 & cos . (- (PI / 2)) = 0 )