Mann's theorem