Cantor's Lemma (Nested Interval Theorem)
שתי ההנחות הכרחיות יחד: קטעים סגורים ומתכווצים (מקוננים) עם אורך השואף לאפס. בלי "אורך שואף לאפס" עדיין יש חיתוך לא ריק (קטעים סגורים וחסומים משוננים תמיד נחתכים), אך יכול להיות יותר מנקודה אחת. זהו המנוע מאחורי הוכחת בולצאנו-ויירשטראס.
MathKiller כולל מאות שאלות תרגול על חשבון אינפיניטסימלי 1 (קורס 20474 של האוניברסיטה הפתוחה), עם פתרונות מודרכים, מעקב התקדמות ומבחני סימולציה.