theorem GRCY212: :: GROUP_18:8

for G being Group
for a, b being Element of G st b in gr {a} holds
gr {b} is strict Subgroup of gr {a}