theorem :: GROUP_8:25

for G being strict cyclic Group
for H being strict Subgroup of G holds H is cyclic Group