for G being Group
for H1, H2 being Subgroup of G holds (1). H1 = (1). H2