We must then have......
The complex case then follows from (a).
Continuity then finishes off the argument.
Then G has 10 normal subgroups and as many non-normal ones.
If p=0 then there are an additional m arcs. [Note the article an.]
If y is a solution, then ay also solves (3) for all a in B.