леммы
Существительное
Слово происходит от лемма
Производные слова
Примеры
Для утверждение верно, так как неравенство выполняется по условию леммы.
Существует также аналог леммы Семереди для разреженных графов (в обычной формулировке лемма тривиальна для таких графов, поскольку любое разбиение удовлетворяет нужным условиям).
Поскольку алгоритм завершает работу только когда никакие операции невозможны, в этот момент переполненных вершин нет, откуда и следует утверждение леммы.