Butterfly lemma

  1. REDIRECT Zassenhaus lemma