for z being Complex holds z P_dt is absolutely_summable