theorem Th11: :: SIN_COS9:11

rng arctan = ].(- (PI / 2)),(PI / 2).[