La demostración del resultado requiere de unos lemas previos.