Let and suppose that , are linear operators from into satisfying
(1)
 Show that for all one has
 Show that there exists such that .
Solution
 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.