Linear Algebra: E.M.L. 3, diagonalizable transformations, simultaneous diagonalization

I don't prove the theorem that commuting diagonalizable transformations possess a common eigenbasis, but, I do say a few word about what it means to Quantum Mechanics.