theorem :: GROUP_5:76

for G being Group
for H being strict Subgroup of G st Left_Cosets H is finite & index H = 2 holds
G ` is Subgroup of H