线性代数设AB为4阶方阵 如何验证▕AB▕=▕A▕乘以▕B▕