以下是方法之一：令formula_74为8的倍数，并考虑所有向量formula_99，使得formula_100的座标均为奇数或均为偶数，且formula_101的各座标总和为奇数。由此构成的格写作formula_102。当formula_103，此格由根系formula_104的根生成。虽然formula_105与formula_106并不相似，由于权formula_107的模形式只有一个（至多差一个常数倍），遂得到约翰·米尔诺发现：formula_109对这两个格的商空间给出两个16维环面，彼此不相