引理R(ATA)=R(A),显然有AX=0与ATAX=0同解,故得证!
等价于证明R(ATA)=R(ATA,AB)
R(A)=R(ATA)<=R(AT(A,B))<=R(AT)=R(A)
于是得所证!