设矩阵A可逆,B是A的逆矩阵,则(At)-1= t和-1 为上标