theorem :: SCPQSORT:14

for p0, n being Nat st p0 >= 7 holds
QuickSort (n,p0) is parahalting