root dragging theorem