theorem Th54: :: SIN_COS9:54

arccot | [.(- 1),1.] is continuous