En efecto, sea H un grupo que contiene a formula_12.