theorem :: SIN_COS9:44

( arccot 0 = PI / 2 & arccot . 0 = PI / 2 )