Template:GAP verify subgroup property

(G,H); using GAP: