Zadejte druhé porovnávané lemma.