Three subgroups lemma (source code)

= Three subgroups lemma
{wiki=Three_subgroups_lemma}