theorem Th47: :: SINCOS10:47

[.(- (sqrt 2)),(- 1).] c= dom arccosec1