משפט אוילר
phi(17) = 16 => 11^16 = 1 (mod 17) 104 = 8 (mod 16)
עכשיו,
zz (11^8 + 1)*11^8 = 11^16 + 11^8 = 11^8+1 (mod 17) (letting 11^8 = x, we get (x+1)*x = x+1 mod 17, divide through by x+1 (possible because 17 is prime therefore either 17 | x+1 which is what we wanted, or x+1 is coprime to 17 (modulo 17)) x = 1 mod 17 x - 1 = 0 mod 17 11^8 - 1 = 0 mod 17 (11^4-1)(11^4+1) = 0 mod 17 (11²-1)(11²+1)(11^4+1) = 0 mod 17 10*12*(123)*(14641) = 0 mod 17
קל לראות עבור כל איבר בנפרד שאף אחד מהם לא מתחלק ב-17, ולכן המכפלה לא מתחלקת ב-17, כלומר ההנחה ש x+1 זר ל-17 מוטעית והמספר אכן מתחלק ב-17.