Sea formula_27 la clase de equivalencia de formula_28 respecto a la relación de equivalencia formula_29 Probaremos que tomando cualquier elemento formula_30 y multiplicándolo por uno cualquiera formula_31 el resultado siempre está en la clase de formula_32 lo que probará que tenemos una multiplicación bien definida en formula_33