finished the proof of app_fold.