for G being addGroup
for H being Subgroup of G st Left_Cosets H is finite & index H = 2 holds
H is normal Subgroup of G