I am reading abook on algorithms. It is mentioned in shell sort as below
An important property of Shellsort (which we state without proof) is that an (h subscipt k) hk-sorted file that is then (h subsciprt (k-1)) hk-1-sorted remains hk-sorted. If this were not the case, the algorithm would likely be of little value, since work done by early phases would be undone by later phases.
My question is what does author mean by above statement?
Thanks!