>>256
y = A*x
||y||^2 = y^T * y = x^T * (A^T * A) * x = x^T * 0 = 0
∴ y = A*x = 0