Remark 55.3.17. Let $n, m_ i, a_{ij}, w_ i, g_ i$ be a minimal numerical type with $n > 1$. Equality $g = g_{top}$ can hold in Lemma 55.3.14. For example, if $m_ i = w_ i = 1$ and $g_ i = 0$ for all $i$ and $a_{ij} \in \{ 0, 1\}$ for $i < j$.

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).