If H≤G (see Subgroup) and [G⋅H]=2 (see Index (Groups)) then H⊴G.
Proof
Use 11 Basic Axioms and Examples (Groups)#25 and apply it to H, using Equivalences of Group Actions.
☐