We conclude that during a derivation, the nodes must be created according to the strict total order < defined above.
for a given tree, there is a unique possible derivation which enforces the constraints described above.