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: $\mathbb{Z}/2\mathbb{Z}$ bir bolgedir (integral domain).