theorem Th7: :: SIN_COS9:7

tan | ].(- (PI / 2)),(PI / 2).[ is increasing