Bir çelişkiye ulaşmak maksadıyla, e sayısının cebirsel olduğunu varsayalım. O zaman derecesi n olan, tam sayı katsayılı bir ∑nk=0akxk polinomu için
a0+a1e+a2e2+...+anen=0 (∗)
olur. Yeterince büyük bir p asal sayısı alarak, derecesi m=(n+1)p−1 olan
f(x)=xp−1(x−1)p...(x−n)p
polinomu tanımlayalım. Son olarak da,
J=a0If(0)+a1If(1)+...+anIf(n)
diyelim. [2] eşitliği J'ye uygulandığında (∗) nedeniyle,
J=∑nk=0akIf(k)
=∑nk=0(ek∑mj=0f(j)(0)−∑mj=0f(j)(k))
=∑nk=0akek∑mj=0f(j)(0)−∑nk=0ak∑mj=0f(j)(k)
=−∑nk=0∑mj=0akf(j)(k)
olur. Şimdi, f(j)(k) değerlerini göz önüne alalım:
Eğer j<p−1 ise, f'nin çarpanlarından hiçbiri türev alındığında sıfırlanmayacağından, her k için f(j)(k)=0 olur; j=p−1 olduğunda, f(j)(k) ifadesinin her teriminde sadece xp−1 çarpanı sıfırlanacağından k>0 iken f(j)(k)=0 sağlanır; j=p−1 ve k=0 durumunda, alınan türeve sıfırdan farklı f(p−1)(0)=(p−1)!(−1)np(n!)p değerini ekleyen terim xp−1 olur; j≥polduğunda ise, f(j)(k) ifadesinde (x−k)p çarpanının türev alma işlemi sonunda kaybolduğu termler sıfırdan farklıdırlar ve bu durumda ilgili terimlerin baş katsayıları p! sayısının bir katı olur.
Şimdi de, p>n olduğunu kabul edelim: O zaman f(p−1)(0) sayısı (p−1)! sayısının bir katıdır fakat p! sayısının bir katı değildir. Böylece, N bir tam sayı ve M de p'ye bölünmeyen bir tam sayı olmak üzere,
J=Np!+a0M(p−1)!=(p−1)!(Np+a0M)
olduğu görülür. Bir varsayım daha yaparak, p>a0 olduğunu kabul edelim: Bu durumda Np+a0M sayısı 0'dan farklı olur ve bundan dolayı
|J|≥(p−1)! (∗∗)
eşitsizliği sağlanır. Diğer taraftan, basit bir gözlemle F(k)≤(2n)m olduğu görüleceğinden, A=max1≤k≤n|ak| ve p sayısına bağlı olmayan bir C sabiti için,
|J|≤|a1|eF(1)+...+|an|enF(n)
≤Anen(2n)(n+1)p−1
=Anen2n((2n)n+1)p
≤Cp
elde edilir. Ancak C sayısı ne olursa olsun yeterince büyük p'ler için (p−1)!>Cp olacağından, br üstteki eşitsizlik ile (∗∗) eşitsizliği birbirleriyle çelişir. ◻