זה כיוון פשוט
מ-א, אנחנו יודעים שלכל E מדידה (בלי קשר לאינסוף), היא סופרימום על כל המדידות מתוכה שהן ממידה סופית.
צריך להגדיר כאן כמה דברים של סימונים וקונבנציות, אבל אני אזכיר לך מאינפי 1, שלא מוגדר sup או inf של קבוצה ריקה.
 
ולכן מזה שאומרים ב-ב ש-E מדידה עם מידה כלשהי, אז היא סופרימום על כל המוכלות בה עם מידה סופית.
ברור לחלוטין שאם E היתה ממידה סופית, יכולנו לקחת F=E.
אבל הנתון ב-א מדבר על Fים ממידה סופית, ולכן אם הסופרימום הוא אינסוף, הקבוצה של המוכלות בה עם מידה סופית היא קבוצה לא ריקה (אני מסכים, זה מפגר, זה רק סימון).
