theorem
  A c= C & B c= D implies [.A,B.] is Subgroup of [.C,D.] by Th50,GROUP_4:32;
