Demuestra que multiplicar por la matriz identidad no cambia. (Directo de la definición.)