theorem Th48: :: SINCOS10:48

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