Fix typos in Readme
Reorder test expression for clarity
Replace proof by contradiction w/ constructive