设A是n阶可逆阵,B,C,是n*s矩阵,O是n*s零矩阵.证: