Usa la propiedad del buen orden para demostrar el algoritmo de la división, recuerda que el algoritmo de la división dice que si "a" es un número entero y "d" es un entero positivo, entonces hay dos únicos enteros "c" y "r" tales que 0formula_45"r"formula_45"d" y "a"="dc"+"r".