Talk:Favard's theorem