Es tan importante verificar que se obtenga el mismo resultado independientemente de qué representante de la clase lateral se elija como lo es que se obtenga siempre el mismo resultado cuando se practican operaciones aritméticas (por ejemplo, nunca sucede que formula_1).