Perhaps I'm misunderstanding something here, but isn't just the inner (scalar) product of the vector with itself, also known as ?

If so then it's obvious it can't be zero, and this much is true for ANY eigenvector of ANY operator/matrix, since , and zero cannot be an eigenvector...

Tonio