theorem Th2: :: SINCOS10:2

].(PI / 2),PI.] c= dom sec