P
Initializing...
Proof of Lemma 10, p. 10 — the syndrome σX(e) has weight at most ΔB|e| · Prove2Me