La demostración se basa en dos lemas que se exponen a continuación: