theorem Th101: :: SIN_COS6:101

for r being Real st - 1 <= r & r <= 1 holds
arccos r = PI - (arccos (- r))