Por la proposición, tenemos que el determinante de la matriz identidad