שינויים
/* הקדמה - הגדרות */
לכל k כך ש-<math>1\le k\le n</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>. בהתאם לכך נגדיר:
* שטח חוסם - הסכום העליון: <math>\overline S(f,P):=\sum_{k=1}^n M_k\Delta x_k</math>
* שטח חסום - הסכום התחתון: <math>\underline S(Af,P):=\sum_{k=1}^n m_k\Delta x_k</math>
==משפט 1==
נקח חלוקה כלשהי ל-<math>[a,b]</math>: <math>a=x_0<x_1<\dots<x_n=b</math>.
לכל k מתקיים <math>M_k=\sup\{f(x):\ x_{k-1}\le x\le x_k\}=1</math> וכן <math>m_k=\inf\{f(x):\ x_{k-1}\le x\le x_k\}=0</math>. לכן <math>\overline S(f,P)=\sum_{k=1}^n M_k\Delta x_k=\sum_{k=1}^n 1\Delta x_k=b-a</math> ואילו <math>\underline S(f,P)=\sum_{k=1}^n m_k\Delta x_k=\sum_{k=1}^n 0\Delta x_k=0</math>. מכאן <math>\underline\int_a^b f=\sup_P \underline S(f,P)=0</math> ו-<math>\overline{\int}_a^b f=\inf_P \overline S(f,P)=b-a</math>, ןכייוון וכייוון שאינם שווים f אינה אינטגרבילית. {{משל}}
לפי ההגדרות <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>}}
כמו כן,
