Cualquier otro subgrupo de formula_24 disitinto de formula_24 y formula_188 se dice subgupo propio de formula_24.