(A^(-1))^(-1) = A — verify for A = {{ 1, 2 }, {3, 4 }}