 inequality $|x^G \cap H|^0< (q^{n(n-0)-{ek^0}+k -t^0})$ holds for $q>0$, for $q=0$ the statement of the lemma can be checked by GAP.  Now let $e=0$, i.e. $x$ is conjugate with diagonal matrix. Denote the dimension of a maximal eigenspa