Stability of the E8-form (Ex)
From Manifold Atlas
Show there exists an isometry of unimodular forms
where is unimodular, even, and positive definite. (There is a unique such form in dimension 8: extra credit is given for an isometry ).