האם יש הוכחה פשוטה יותר מלהסביר מדוע כל קבוצה סגורה היא מדידה לבג? (וזאת לעשות ע"י להראות שכל קבוצה פתוחה היא מדידה לבג [בעזרת הרמז שיש ב"הערה"]).
אפשר ע"י משפט האיפיון של קבוצות מדידות שתכירו בהמשך. אבל זה נראה לי יותר מסובך. אם משתמשים בעובדה שלמדתם שכל קטע אינסופי הינו מדיד אז הפתרון מידי(בכיוון שאת/--[[משתמש:עופר בוסאני|עופר בוסאני]] 08:32, 22 באוקטובר 2013 (IDT)ה מדבר עליו)