La demostración seguirá después de algunos lemas.