Введіть другу лему для порівняння.