.....
נניח בשלילה שקיימים פיתרונות טיבעיים m,n כנדרש. אז משום ש-
2^n +1
אי זוגי, אז בהכרח m בשלישית אי זוגי וממילא m אי זוגי. נרשום:
m^3 - 1 =2^n --> (m-1)(m^2 + m + 1) = 2^n
, אבל משום ש-m אי זוגי אז m-1 זוגי ו-
m^2 + m + 1
אי זוגי, על כן המכפלה אי זוגית - סתירה!