Talk:Simultaneous diagonalization