Myers's theorem