theorem Th44: :: SINCOS10:44

rng (cosec | [.(PI / 4),(PI / 2).]) = [.1,(sqrt 2).]