El contraejemplo puede extraerse del grupo de matrices cuadradas inversibles de orden 2, donde representaremos por formula_97 a la matriz inversa de formula_98 y nunca hemos de utilizar la notación anterior, como formula_99.