 The step will be performed as a call to the function distribute, which takes three parameters i, j, and m. distribute(i, j, m) will distribute elements from the i-th through (i+m-1)-th subarrays into buckets, starting from formula_22.It requires as a precondition that each subarray r in the range formula_23 has its formula_24.The execution of distribute(i, j, m) will guarantee that each formula_25.