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