Lema 78 demostrado.