(1). G in the_stable_subgroups_of G by Def11;
hence not the_stable_subgroups_of G is empty ; :: thesis: verum