Bonnet–Myers Diameter Theorem