Kummer's theorem