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