Zadejte první porovnávané lemma.