Demostrar el Teorema del buen orden

Explicando todas las definiciones, corolarios o teoremas que se usan