[see also: though, although, however, nevertheless, yet, other
If...... then (1) holds but not (2).
All but a finite number of the Gs are empty.
This will be proved by showing that H has but a single orbit on M.
However, (ii) is nothing but the statement that...... [= only the statement that]