Talk:Carlson's theorem