Nos basamos en la demostración anterior.