5480f6a
Cite once Author and Author (2026), Lemma 3 and cite twice Author and Author (2026), Lemma 3.