State/Zolotarevs lemma 1