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