Talk:Weyl–von Neumann theorem