theorem :: SIN_COS9:44
( arccot 0 = PI / 2 & arccot . 0 = PI / 2 )