small edits to proof of main result