prove binary proof with a lemma. figure out why the extraneous 0s were there (the definition of mult). next up: Hard Proof