theorem :: SIN_COS6:93

arccos (- 1) = PI by Th92, SIN_COS:77;