../images/Emo62.gif
2^p+p^2 = 2^p-2 + p^2+2
2 בחזקת p פחות 2 מתחלק ב 3 לכל p לא זוגי ( קל להוכיח באינדוקציה ) ולגבי p^2+2 אז הוא מתחלק ב 3 לכל p שאינו מתחלק ב3 כי:
P^2+2=p^2-1+3 =(p-1)*(p+1)+3
או p-1 או p+1 מתחלקים ב 3 ולכן הביטוי המקורי מתחלק ל3 לכל p שאינו מתחלק ב 3 ו ב 2 ( לאו דוקא ראשוני ) ולכן p הראשוניים האפשריים שנותנים בביטוי המקורי מספר ראשוני הם 2 ו3 ואכן זה כך