Introduce el primer lema para comparar.