שינויים
/* פונקצית דיריכלה */
כיון שבכל [[חלוקה]] ובכל קטע קיימות גם נקודה רציונאלית וגם נקודה אי-רציונאלית, מתקיים לכל קטע:
:<math>m_k=\inf\Big\{D(x)|x_{k-1}\le x\le x_k\Big\}=0</math>
:<math>M_k=\sup\Big\{D(x)|x_{k-1}\le x\le x_k\Big\}=1</math>
ולכן '''כל''' [[סכום דרבו]] תחתון שווה
