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