State/Zolotarevs lemma

 =Proof=

=Metadata=