Liebmann's theorem