Reorder proofs of main results in appendix