שינויים

יהי <math>\varepsilon>0</math> נתון. נגדיר <math>c=a+\frac\varepsilon{2\Omega}</math>. לפי הנתון f רציפה ב-<math>[c,b]</math>, אזי ממשפט 6 היא אינטגרבילית ב-<math>[c,b]</math>, לכן נוכל לבחור חלוקה P של <math>[c,b]</math> כך ש-<math>\overline S(f,P)-\underline S(f,P)<\frac\varepsilon2</math>. כעת נגדיר חלוקה Q של <math>[a,b]</math> ע"י <math>Q=\{a\}\cup P</math>. עוד נגדיר <math>M'=\sup\{f(x):\ a\le x\le c\}</math> וכן <math>m'=\inf\{f(x):\ a\le x\le c\}</math>. נובע ש-כי {{left|<math>\begin{align}\overline S(f,Q)-\underline S(f,Q)&=(M'-m')(c-a)+\overline S(f,P)-\underline S(f,P)\\&<\Omega(c-a)+\frac\varepsilon2\\&=\Omega\cdot\frac\varepsilon{2\Omega}+\frac\varepsilon2\\&=\varepsilon\end{align}</math>. }}נובע ממשפט 4 ש-f אינטגרבילית ב-<math>[a,b]</math>. {{משל}}