theorem Th42: :: SIN_COS:43

( cos . 1 > 0 & sin . 1 > 0 & cos . 1 < sin . 1 )