This theorem has a number of applications and is the first of many classical insertion theorems.
The statement highlights that this theorem is significant because it's the first in a series of related theorems known as "classical insertion theorems."