theorem Th12: :: SIN_COS9:12
rng arccot = ].0,PI.[