theorem :: SIN_COS9:80

dom arccot is open