theorem :: SIN_COS6:98

for r being Real st - 1 <= r & r <= 1 & arccos r = PI holds
r = - 1 by Th91, SIN_COS:77;