Herhangi bir $p\neq q$ asal sayısı için $pq\mathbb{Z}$, $p\mathbb{Z}$'in asal idealidir. Kanıtlayalım :
Diyelim ki $ab\in pq\mathbb{Z}$. Öyleyse $pq\big| ab$. Öyleyse $q\big|ab$ ki bu da $q$ $a$ veya $b$yi bölüyor demek. $a,b\in p\mathbb{Z}$ olduğuna göre, ya $a$ ya da $b$ hem $p$ hem $q$ tarafından bölünüyor, yani $pq\mathbb{Z}$in içinde.