ロホリンの定理
M 上の交叉形式
Q M : H 2 ( M , Z ) × H 2 ( M , Z ) → Z {\displaystyle Q_{M}:H^{2}(M,\mathbb {Z} )\times H^{2}(M,\mathbb {Z} )\rightarrow \mathbb {Z} }
は、ポアンカレ双対により、 Z {\displaystyle \mathbb {Z} } 上のユニモジュラー(英語版)(unimodular)(な双線型形式)で、w2(M) が 0 となることは交叉形式が偶数であることを意味する。チャヒット・アルフ(英語版)(Cahit Arf)の定理により、任意の偶のユニモジュラー格子は、8 で割り切れる符号を持つので、ロホリンの定理は符号が割り切れるためにひとつの余剰因子をもつことを余儀なくされる。
K3曲面は、コンパクトな 4-次元で w2(M) が 0 であるので、符号は −16 であるので、16 はロホリンの定理では最良の正の数である。