Si se aplica a todos los números hasta "n" y se cumple la proposición,