theorem :: RFUNCT_1:25

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