Van_der_Corput_theorem loading ...