Note:DOI 10.1365/s13291-010-0001-8 was removed from this record after review: The removed record is a separately posted companion appendix containing omitted proofs, not the DOI article itself.
This is an appendix to our paper "An update of the Hirsch Conjecture" (arXiv:0907.1186), containing proofs of some of the results and comments that were omitted in it.