Proposition 55.5.17. Let $n, m_ i, a_{ij}, w_ i, g_ i$ be a numerical type of genus $g$. Let $I \subset \{ 1, \ldots , n\}$ be a proper subset of cardinality $\geq 2$ consisting of $(-2)$-indices such that there does not exist a nonempty proper subset $I' \subset I$ with $a_{i'i} = 0$ for $i' \in I$, $i \in I \setminus I'$. Then up to reordering the $m_ i$'s, $a_{ij}$'s, $w_ i$'s for $i, j \in I$ are as listed in Lemmas 55.5.1, 55.5.2, 55.5.3, 55.5.4, 55.5.5, 55.5.7, 55.5.8, 55.5.9, 55.5.10, 55.5.13, or 55.5.14.

Proof. This follows from the discussion above; see discussion at the start of Section 55.5. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).