Talk:Simultaneous diagonalizability