Razonando con números enteros y extrayendo conclusiones interesantes. Otro ejemplo: $0$ no es divisor de ningún número entero no nulo

¿Por qué $0$ no es divisor de ningún otro número entero distinto de cero?

Supongamos que sí lo sea e intentemos llegar a una contradicción. Si lo conseguimos, habremos demostrado la afirmación. Veamos: para cualquier número entero $m\neq 0$, si $0$ es divisor de $m$ (como hemos supuesto), entonces, por el teorema de la división de números enteros y por la definición de divisor, debería cumplirse que, existe un número entero $n$ tal que $m=0\cdot n+k$, con $k=0$ (por ser $0$, supuestamente, un divisor de $m$), esto es $m=0\cdot n$, pero el segundo miembro de la igualdad es $0$, pues $0\cdot n=0$, luego deducimos de ello que $m=0$, en contra de la suposición inicial, $m\neq 0$. En consecuencia, podemos afirmar que $0$ no es divisor de ningún número entero distinto de cero. $\diamond$