En la demostración anterior, no invocamos la proposición citada.