hs: a lemma on lifting zigzag products,

better writeup to follow.