theorem :: GROUP_3:97

for G being Group
for A being Subset of G holds A in con_class A ;