theorem Th2: :: SIN_COS9:2
].0,PI.[ c= dom cot