Added a proof, and fixed two small mistakes