Выдержка из книги
Конвей Дж.N.
Упаковки шаров, решетки и группы Т.1
Если два различных множества с 4 и менее элементами конгруэнтны по модулю 24, то их симметрическая разность является октадой, поэтому они должны не пересекаться и содержать по 4 элемента каждое, так что теорема неулучшаема.
