theorem :: GR_CY_2:20

for G being finite strict Group st card G = 2 holds
for H being strict Subgroup of G holds
( H = (1). G or H = G ) by GR_CY_1:12, INT_2:28;