drinker's theorem