theorem Th34: :: SINCOS10:34

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