This theorem says that a [divided difference](/page/Divided%20Difference) at distinct nodes is independent of the order in which the nodes are listed. It justifies treating divided differences as symmetric data attached to a finite set of interpolation nodes.