theorem Th86: :: SIN_COS6:86

dom arccos = [.(- 1),1.] by COMPTRIG:32, FUNCT_1:33;