מישהוא יכול ליכתוב אותו בבקשה
:"יהי <math>K</math> קטע סגור, ויהיו <math>\{I_a\}_{a\ in\ A}</math> קטעים פתוחים ב-<math>\R</math> כך ש-<math>K</math> מוכל ממש באיחוד של כולם. אזי קיים מספר סופי של קטעים כאלו כך ש-<math>K</math> מוכל ממש בתוך האיחוד שלהם". (אני לא הייתי בהרצאה הזו, זה מתוך מחברת שצילמתי ממישהו). מקווה שעזרתי [[משתמש:Gordo6|גל א.]]
תודה פשוט בוויקפדיה זה רשום בצורה קצת פחות פורמלית
אולי יש לכה במיקרה גם את המישפט של בולצאנו ויירשטראס לקבוצות