Subgroup of double coset index two

From Groupprops