theorem Th85: :: SIN_COS6:85
rng arccos = [.0,PI.]