Sean G, H, K grupos tales que formula_18.