"Prove that if T is a normal operator on a finite-dimensional inner product
space, then it has the same image as its adjoint."

No luck so far.