שינויים

אחרת <math>n+1</math> מתפרק למכפלה <math>n+1=ab</math> כאשר <math>1 < a,b < n+1</math>לפי הנחת האינדוקציה <math>a,b</math> מתפרקים למכפלה של מספרים ראשוניים <math>a=\Pi_{k=1}^l p_k,b=\Pi_{i=1}^r q_i</math> כאשר <math>p_k,q)i</math> ראשוניים ואז <math>n=ab=\Pi_{k=1}^l p_k\cdot \Pi_{i=1}^r q_i</math> וסיימנו