Ответ: Малиновка.

Зачет: в любом падеже.

Комментарий: в названии теоремы упоминается свадьба. Формулировка Вейля: В деревне относительно каждого юноши и девушки известно, дружат они или нет. Если для любых k юношей объединение множеств их подруг содержит, по крайней мере, k девушек, то каждый юноша может выбрать себе жену из числа своих подруг.