Talk:Palais theorem