Introduce el segundo lema para comparar.