The system of inequalities ars > Xr—Xs