ana4: fix lemma 3.26