fixed location of end-proof
added proof of lemma 2.8, fixed zip-zap to zig-zap