Myers-Bott theorem