Talk:Pomeranchuk's theorem