theorem :: GROUP_23:12

for G being Group holds {} --> G is Group-Family of {} ;