theorem Th33: :: SINCOS10:33

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