theorem Th19: :: SIN_COS9:19

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