proofed insertion sort