absolute value theorem for sequences