theorem Th2: :: SIN_COS9:2

].0,PI.[ c= dom cot