Question: Let is a normal operator on a finite-dimensional inner product space . Show that and that .

I think that I got the first part. Suppose Then . But for all so as well. So , which means that . The same logic goes the other way around and we conclude .

But what about ? I know that but how does that help?