theorem :: GR_CY_2:21

for G being finite strict Group st card G = 2 holds
G is cyclic Group by GR_CY_1:21, INT_2:28;