Talk:Lieb's theorem