It is with some sort of reverential fear that I've come here to write. I've been reading you for a long time, but writing is another story... In any case, I suppose it is too late now to back out!

Then, I am looking for (as many as possible) references to known "different" proofs of the classical spectral theorem for compact operators with a special focus on the point where we are given to show that all non-zero elements in the spectrum are, in fact, eigenvalues. I am well aware of the "standard one" (as basically phrased in <a href="http://en.wikipedia.org/wiki/Spectral_theory_of_compact_operators#Statement">this Wikipedia entry</a>) and I have tidings of a proof based on the Fredholm alternative (though I don't know any explicit reference in this case). Indeed, I'm wondering if there are some others around. Thanks so much for any clues.