Added formal SJF proof.
Revised EDD proof, TODO'd a formal proof
Merge pull request #6 from mwhittaker/CS-3420-proofs

Cool updates, the proof looks beautiful