Tu l´a deja dit, mais ta question n´a aucun interet puisque ce n´est qu´un problème de vocabulaire... Une definition sert a etablir des proprietes generales, pas un cas particulier...
Maintenant, si on prend comme définition :
"a est un diviseur de n ssi le reste de la division Euclidienne de n par a est nul"
alors a doit etre non nul pour que la division ait un sens
Ton théoreme s´ecrirait donc :
"Soit a entier et b entier non nul, a divise b si et seulement si existe un entier relatif k tel que b=ka"
Donc selon cette définition, "0 divise 0 " n´aurait aucun sens
Mais tu peux définir autrement cette notion pour que ca marche...