Renames references.bib to equivalence.bib.
Capitalizes the phrase 'To appear'.
Notes independent research.
Clarifies to which theorem the proof refers.