Proof for cut_list_right_app.