theorem :: GR_CY_1:20

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