theorem Th69: :: SIN_COS6:69

for r being Real st - (PI / 2) <= r & r <= PI / 2 holds
arcsin (sin r) = r