Definition:Eigenvector of Real Square Matrix