Typos in proof of Lemma 1, cubLattice_g paper