Removed separate reference to tech. appendix

Since I'm not using literate programming anymore, citing the software you
used in the paper seems tacky.  I'm taking it out.
Edit Lemma A.1

Tweaks proof and adds additional conditions.
in-process changes to lemma A2