theorem :: SIN_COS6:95

arccos 1 = 0 by Th92, SIN_COS:31;