Companion to "An update on the Hirsch conjecture"

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.