Talk:Moreau's theorem