theorem Th92: :: SIN_COS6:92

for r being Real st 0 <= r & r <= PI holds
arccos (cos r) = r