theorem Th53: :: GROUP_2:53

for G being Group
for H being Subgroup of G st G is commutative Group holds
H is commutative