Mergesort makes two recursive calls. Which statement is true after these recursive calls finish, but before the merge step take place?A. The array elements form a heapB. Elements in each half of the array are sorted amongst themselvesC. Elements in the first half of the array are less than or equal to elements in the second half of the arrayD. Elements in the first half of the array are greater than or equal to elements in the second half of the arrayE. none of the above