Para comprender la demostración, es necesario conocer los siguientes resultados: