Handan; Bölünebilmenin tanımını şöyle yapalım: $a$ sayısı $b$ sayısını böler diyelim, eğer $ak=b$ olacak şekilde bir $k$ sayısı varsa.
Şimdi söylediğim özelliğe bakalım.
$0$ için.
Diyelim ki $0$, $ab$'yi bölüyor. Yani bir $k$ sayısı için $0 = 0k = ab$. Yani $ab=0$. Yani ya $a=0$ ya da $b=0$. Genelliği bozmadan, $a=0$ diyelim. $a = 0 = 0.1$. Demek ki $0$, $a$'yı bölüyor.
Olmadı mı?
$1$ için.
Her $a$ sayısı için, $a=1.a$ olduğu için yaptığımız tanıma göre $1$, $a$'yı böler. Söylediğim koşullu önermenin gereklilik kısmı her zaman doğru olduğu için, önerme de hep doğru.
Ama işte evet, bunlar dışındakiler diyelim. Ama dikkat edersen ben hiç bunlara asal denir demedim :)
O tartışmayı çok az hatırlıyorum.