In QuickSort algorithm, which of the following statements is NOT true regarding the partition process?
a) Partition always divides the array into two non-empty subsets.
b) The element chosen as the pivot does not have to be the median of the array for the algorithm to be efficient.
c) After the partition, the pivot is in its final sorted position.
d) If the array is already sorted, partitioning can be done in O(1) time complexity.