====הוכחה====
כעת יהי <math>\varepsilon>0</math>. כיוון ש-<math>f(x)</math> רציפה בקטע סגור <math>[a,b]</math> היא רציפה במ"ש, לכן קיים <math>\delta>0</math> כך שאם <math>x_1,x_2\in[a,b]</math> ו-<math>|x_1-x_2|<\delta</math> אז <math>|f(x_1)-f(x_2)|<\frac\varepsilon{2(b-a)}</math>. כעת תהי P חלוקה כלשהי של <math>[a,b]</math> כך ש-<math>\lambda(P)<\delta</math>. לפיכך <math>\overline S(f,P)-\underline S(f,P)=\sum_{k=1}^n(M_k-m_k)\Delta x_k</math> כאשר <math>M_k=\sup\{f(x):\ x_{k-1}\le x\le x_k\}</math> ו-<math>m_k=\inf\{f(x):\ x_{k-1}\le x\le x_k\}</math>. אבל מכיוון ש-f רציפה וע"פ המשפט השני של וירשטרס כל f רציפה ב-<math>[a,b]</math> חסומה שם, לכל k קיימים <math>y_k,z_k\in[x_{k-1},x_k]</math> כך ש-<math>f(y_k)=M_k</math> ו-<math>f(z_k)=m_k</math>. כעת <math>|y_k-z_k|\le x_k-x_{k-1}=\Delta x_k\le\lambda(P)<\delta</math>, לכן <math>M_k-m_k=|f(y_k)-f(z_k)|<\frac\varepsilon{2(b-a)}</math> ולבסוף
{{left|<math>\begin{align}\overline S(f,P)-\underlineS(f,P)&=\sum_{k=1}^n(M_k-m_k)\Delta x_k\\&<\sum_{k=1}^n\frac\varepsilon{2(b-a)}\Delta x_k\\&=\frac\varepsilon{2(b-a)}(x_1-\underbrace{x_0}_a_{=a}+x_2-x_1+\dots+\underbrace{x_n}_b_{=b}-x_{n-1})\\&=\frac\varepsilon{2(b-a)}(b-a)\\&=\frac\varepsilon2\\&<\varepsilon\end{align}</math>}}
ונובע ממשפט 5 (או 4) ש-f אינטגרבילית ב-<math>[a,b]</math>. {{משל}}