Further test that Mat2x2 is a good instance of Ring