Se basa en la idea de que si dos funciones comparten en "x"="a" el mismo valor, la misma primera derivada, la misma segunda derivada etc, la misma "i"-ésima derivada, (lo que brevemente se expresa diciendo que las dos funciones tienen un contacto de orden "i") entonces dichas funciones serán muy parecidas cerca de "x"="a", queriendo decir por parecidas que podemos aproximar a una de las dos por la otra cometiendo un error despreciable.