设A=[a1 a2 … an]≠0(n>1).证明:(ATA)X=O有非零解.