theorem Th12: :: SIN_COS9:12

rng arccot = ].0,PI.[