Existence of Positive Real n-th Roots
השורש החיובי הזה יחיד (בגלל ש- עולה ממש עבור ), וזו בדיוק ההצדקה לכך שאפשר להגדיר באופן חד-משמעי — הבסיס להגדרת חזקות רציונליות ולאחר מכן ממשיות ביחידה 6.
MathKiller כולל מאות שאלות תרגול על חשבון אינפיניטסימלי 1 (קורס 20474 של האוניברסיטה הפתוחה), עם פתרונות מודרכים, מעקב התקדמות ומבחני סימולציה.