Введіть першу лему, яку треба порівняти.