Zig-zag lemma (source code)

= Zig-zag lemma
{wiki=Zig-zag_lemma}