theorem :: GR_CY_2:19

for F, G being finite strict Group st card F = 2 & card G = 2 holds
F,G are_isomorphic by Th18, INT_2:28;