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