theorem Th30: :: CFUNCT_1:30

for r being Complex
for f being complex-valued Function holds |.(r (#) f).| = |.r.| (#) |.f.|