theorem
  B is Subgroup of A implies [.B,A.] is Subgroup of A by Th11;
