מתוך ויקיספר, אוסף הספרים והמדריכים החופשי
ההוכחה דומה למדי להוכחת האדיטיביות שראינו בהרצאה:
הוכחה: (1) עפ"י ההגדרה:
- משמעו שלכל , , עבור כלשהם.
- משמעו שלכל, , עבור כלשהם.
לכן:
- לכל , .
- לכל , .
מקבלים את התוצאה ע"י חיבור שני האי-שוויונים האחרונים.