P3: Escribí mejor una parte de la demo del lema.