Finished proof with a fold.