theorem :: SIN_COS6:94

arccos 0 = PI / 2 by Lm6, Th92, SIN_COS:77;