Intermediate Value Theorem
הכלי הסטנדרטי לקיום שורש: מראים ש- ו- הפוכי סימן, ומסיקים על שורש ב-. מלכודת: רציפות על קטע סגור היא הכרחית (אי-רציפות יחידה יכולה "לדלג" מעל ערך); המשפט נותן קיום בלבד, לא יחידות ולא שיטה למציאת .
MathKiller כולל מאות שאלות תרגול על חשבון אינפיניטסימלי 1 (קורס 20474 של האוניברסיטה הפתוחה), עם פתרונות מודרכים, מעקב התקדמות ומבחני סימולציה.