The Schoenberg spline operator is positive and . If , then both and lie in , so
Because averages products of knots in the same interval and all points lie in ,
The Korovkin theorem now proves
for every .