线性代数 证detAB=detA*detB