单项选择题

设A为n阶矩阵,x为n维向量,则以下命题成立的是()。

A.若Ax=0有解时,ATAx=0也有解,则A必可逆
B.若ATAx=0有解时,Ax=0也有解,则必可逆
C.ATAx=0的解必是Ax=0的解
D.ATAx=0的解与Ax=0的解无任何了解