Decimos que un subgrupo es "propio" cuando es diferente de formula_4 y del subgrupo trivial.