Corollary of the Archimedean Property
זה הכלי שבו משתמשים בפועל בכל הוכחת -: כדי לבחור כך ש- פשוט מצטטים את המסקנה הזו. המלכודת: מבחנים דורשים לצטט את המשפט בשם/מספר ולא רק לכתוב "ברור שקיים כזה".
MathKiller כולל מאות שאלות תרגול על חשבון אינפיניטסימלי 1 (קורס 20474 של האוניברסיטה הפתוחה), עם פתרונות מודרכים, מעקב התקדמות ומבחני סימולציה.