theorem Th24: :: SIN_COS9:24

[.(- 1),1.] c= dom arccot