伪代码 提请注意:你应 Ⅰ NSERTION-SORT(4) 该会证明这个算 I for j= 2 to A length 法的正确性! //Insert A[i into the sorted sequence A[..j-1 5 while i>0 and Ai> key Ali+1=Ai 8A1+1]=key伪代码 提请注意：你应 该会证明这个算 法的正确性！