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