若A mXn是实矩阵,则A mXn=0的充要条件是A t A=0