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.