for G being Group holds G is Subgroup of G