theorem Th85: :: SIN_COS6:85

rng arccos = [.0,PI.]