Lieb's theorem