consider x being strict Subgroup of G;
x in Subgroups G by Def1;
hence not Subgroups G is empty ; :: thesis: verum