שינויים
/* הוכחה */
לפי ההגדרות <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>}}
{{הערה|את ההמשך עשינו ב[[משתמש:אור שחף/133 - הרצאה/22.2.11|הרצאה השנייהשאחריה]]:}}
כמו כן, {{left|<math>\begin{align}\overline S(f,P)-\overline S(f,Q)&\le M_i(x_i-x_{i-1})-[m_i(x_i-x_i'))=M_i(x_i-x_{i-1})-m_i(x_i-x_{i-1})\\&=(M_i-m_i)(x_i-x_{i-1})\\&\le\Omega(x_i-x_{i-1})\\&\le\Omegaunderbrace{r}_{=1}\lambda(P)\cdot1Omega\end{align}</math>}}
מקרה כללי: Q מתקבלת מ-P ע"י הוספת r נקודות. נוסיף אותן אחת אחת. הסכום העליון יורד, אבל לא יותר מאשר <math>\Omega\lambda(P)</math>בכל אחת מ-r המפעמים. לכן מיד נסיק <math>0\le\overline S(f,P)-\overline S(f,Q)\le r\Omega\lambda(P)</math>.
ההוכחה לסכום תחתון דומה. {{משל}}
===מסקנה 1===
נקח f כנ"ל ונניח ש-P ו-Q הן שתי חלוקות כלשהן של <math>[a,b]</math>. אזי <math>\underline S(f,P)\le\overline S(f,Q)</math>.
====הוכחה====
נבנה עידון משותף, ז"א <math>R=P\cup Q</math>. לפי משפט 2 מתקיים <math>\underline S(f,P)\le\underline S(f,R)\le \overline S(f,R)\le\overline S(f,Q)</math>. {{משל}}
===מסקנה 2===
עבור f כנ"ל מתקיים <math>\underline\int_a^b f(x)dx\le\overline{\int}_a^b f(x)dx</math>.
====הוכחה====
מסקנה 1 אומרת שלכ שתי חלוקות P,Q של <math>[a,b]</math> מתקיים <math>\underline S(f,P)\le\overline S(f,Q)</math> ולכן <math>\sup_P\underline S(f,P)\le\inf_Q\overline S(f,Q)</math>. כמו כן, לפי ההגדרה <math>\underline\int_a^b f(x)dx=\sup_Q\underline S(f,Q)</math> ו-<math>\inf_P\overline S(f,P)=\overline{\int}_a^b f(x)dx</math>. {{משל}}
