La clase del 0, es precisamente el subgrupo formula_6.