Number_Theoretic_Transform.Preliminary_Lemmas