Bu tür şüpheler oluştuğunda tutulacak yol oldukça standart: Hemen tanımlara döneceğiz. Çift sayının tanımı nedir? Bir n sayısının çift olabilmesi için 2 ile bölündüğünde 0 kalan veriyor olması gerekir.
Şüphesiz burada n sayısının tam sayı olduğunu hatırlamakta yarar var. 0 sayısı 2 ile bölündüğünde sonuç 0, kalan da 0. O nedenle çift sayıdır. Daha ileri de gidebiliriz: 0 sayısının karesi de 0 olduğundan çift sayıların karesi de çift olur; a.0=0 olduğundan herhangi bir tam sayının bir çift sayı ile çarpımı çifttir ve benzer çift sayı özelliklerini de taşır.