Bonnet–Myers theorem

  1. REDIRECT Myers's theorem