Now you are in the subtree of Math public knowledge tree. 

The eigenvectors of a normal matrix are an orthonormal basis.