Егер \(\displaystyle a,\, b\) және \(\displaystyle x,\,y\) сандары үшін  

\(\displaystyle a<b{\small ,}\)

\(\displaystyle x<y{\small ,}\) дұрыс болса,

онда

\(\displaystyle a+x<b+y{\small .}\) дұрыс .