theorem Th42: :: SIN_COS:43
( cos . 1 > 0 & sin . 1 > 0 & cos . 1 < sin . 1 )