Verify AB != BA for A = {{ 1, 1 }, {0, 1 }} ,