计算题 设矩阵A=（a_ij）_m×n，B=（b_ij）_n×s。证明：AB=O的充分必要条件是矩阵B的每一列向量都是齐次方程组Ax=O的解。