Proof for cut_list_right_elim.