Verificación de la definición de la matriz inversa: