Proof for cut_list_left_ins_ins_two_crazy.