Source TeX:
x^TA^TAx=0\Rightarrow x=0