theorem :: SCPQSORT:12

( Partition is halt-free & Partition is shiftable ) ;