Aksini varsayalım: Çarpım tek olsun. O hâlde her çarpan tek olmalıdır. O zaman her k için nk∈Z olmak üzere, ak−bk=2nk+1
yazılabilir. Bu ifâdeleri toplarsak sol taraftan
0 gelir ki çifttir. Sağdan ise
2∑nk+101 gelir ki tektir.
Çelişki elde ettik! Demek ki çarpım çift imiş!