theorem Th38: :: SIN_COS9:38

( arccot (- 1) = (3 / 4) * PI & arccot . (- 1) = (3 / 4) * PI )