Change font to charter
Remove trailing whitespace
Reword main assumption
Minor rewording in main document
Fix alignment of equation in proofs