Asal sayilarin soyle bir ozelligi var: p bir asal sayi olsun. Eger p bir ab carpimini boluyorsa, o zaman a ve b'den en azindan bir tanesi p ile bolunur.
Ustune ustluk herhangi bir p asal sayisi bu ozelligi sagliyorsa, yani her a,b icin ab carpimini boluyor olmasi, a'yi ya da b'yi bolmesini gerektiriyorsa, o zaman p bir asal sayidir.
Simdi 2'nin asal sayi oldugunu gosterelim. 2, ab carpimini bolsun. Baska bir deyisle, ab cift olsun. O zaman, a ve b'den en azindan bir tanesi cifttir. (Eger ikisi de tek olsaydi, iki tek sayinin carpimi tek sayi olacagi icin, ab de cift olurdu). Yani, en azindan bir tanesi ikiyle bolunur. Bu da 2'nin asal oldugunu gosterir.
Bunu suslu bir sekilde soylemek gerekirse: Z/2Z bir bolgedir (integral domain).