r - n <= r + n by XREAL_1:6;
hence [.(r - n),(r + n).] is right_end by XXREAL_2:33; :: thesis: verum