suppose is an eigenvector of so for some scalar let be the eigenspace corresponding to since all eigenvalues of are distinct, is one dimensional, i.e.
now we have thus hence for some scalar that means is also an eigenvector of so we've proved that every eigenvector of is an
eigenvector of a similar argument shows that every eigenvector of is an eigenvector of