Para demostrar que formula_44 es un buen orden en formula_25 hemos de demostrar primero que es efectivamente un orden: