theorem Th26: :: SIN_COS9:26

arccot | [.(- 1),1.] = (cot | [.(PI / 4),((3 / 4) * PI).]) "