theorem :: GROUP_5:62

for G being Group
for A, B, C, D being Subset of G st A c= C & B c= D holds
[.A,B.] is Subgroup of [.C,D.] by Th50, GROUP_4:32;