Es sencillo demostrar que todo buen orden es un orden total.