Proof for cut_list_left_elim.