Verify whether {{ 1, 0, 0 }, {0, 1, 0 }, {0, 0, 1 }} is the identity