שינויים
בדיקה
לפי ההגדרות <math>M_i\ge M_i^+,M_i^-</math> ולפיכך {{left|<math>\begin{align}\overline S(f,P)-\overline S(f,Q)&\ge M_i\Delta x_i-\Big(M_i(x_i'-x_{i-1})+M_i(x_i-x_i')\Big)\\&=M_i\Big(\Delta x_i-(x_i'-x_{i-1}+x_i-x_i')\Big)\\&=M_i\Big(\Delta x_i-(x_i-x_{i-1})\Big)\\&=0\end{align}</math>}}
כמו כן,