Выдержка из книги
Конвей Дж.N.
Упаковки шаров, решетки и группы Т.1
Из предыдущих рассуждений следует, что ни of, ни ( vt у) 8 не могут быть, представлены половиной минимального вектора. Существует квадратичная форма Q, определенная на ( 1 / 2) Л8 / Л8, которая принимает значение 0 на 0 - м классе и на ежах и значение 1 на остальных 120 классах. Следовательно, класс из Л7 / 2Л7, представленный векторами нормы 6, также переводится отображением в в 0 или в еж.
