Van_der_Corput's_theorem loading ...