Proof located in proof.html.  Includes helper files.