Talk:Chevalley restriction theorem