The exact renormalization formula:
   
   
   Analogous formula without remainder (Hardy-Littlewood, Van der Corput, Mor-
   dell).
   
   Proof:
   The second equation in Lemma 1 yields
   
   and the first
   
   The relation between  and  then completes the proof of Theorem 1.