Myers-Bonnet theorem