Cuando m y formula_22 son números naturales, se verifica que $M<n$, ssi, $m-n$ es un natural diferente de 0.