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