Template:GAP verify subgroup property

{{{1}}}(G,H); using [[GAP:{{{1}}}|{{{1}}}]]