Mann's theorem

Summary