Proper subgroup H of G, denoted H