Let and suppose that , are linear operators from into satisfying
- Show that for all one has
- Show that there exists such that .
- Using the assumptions we have
Consider the linear operator acting over all matrices . It may have at most different eigenvalues. Assuming that for every we get that has infinitely many different eigenvalues in view of (i). This is a contradiction.