theorem Th19: :: COMPTRIG:19

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