To prove Insertion Sort is correct, you will then demonstrate it for the three stages: Initialization - The subarray starts with the first element of the array, and it is (obviously) sorted to begin with. Maint