theorem Th35: :: SINCOS10:35

for x being set st x in [.(- (PI / 2)),(- (PI / 4)).] holds
cosec . x in [.(- (sqrt 2)),(- 1).]