Llamamos a esta ecuación, la ecuación de clases del grupo formula_9.