theorem Th32: :: SIN_COS9:32

arccot * (cot | ].0,PI.[) = id ].0,PI.[ by Lm6, Th12, FUNCT_1:39;