Multiplicando "a" en ambos lados de la relación de equivalencia obtenemos la forma original: