theorem Th40: :: SIN_COS9:40

( arccot 1 = PI / 4 & arccot . 1 = PI / 4 )