theorem Th55: :: SIN_COS9:55

rng (arctan | [.(- 1),1.]) = [.(- (PI / 4)),(PI / 4).]