theorem Th55: :: SIN_COS:56

for z being Complex holds z P_dt is absolutely_summable