A modo de repaso, se enuncian tanto el Principio del Buen Orden (PBO) como el Principio de Inducción Completa (PIC). Luego se demuestra que el PBO implica el PIC. Por último se demuestra, empleando el PIC, que para cada entero positivo n se cumple que la suma de los primeros n enteros positivos impares es igual al cuadrado de n.