TY - RPRT TI - A shorter proof of Lemma A.6 (arXiv:1005.0768) AU - Tom Fischer PY - 2012 UR - https://arxiv.org/abs/1206.4917 ID - 1206.4917 ER -