码工助手的轮播:对于n阶矩阵A和B,如果AB=I,就一定BA=I吗?