theorem :: VFUNCT_1:22

for C being non empty set
for V being RealNormSpace
for f being PartFunc of C,V
for r being Real holds ||.(r (#) f).|| = |.r.| (#) ||.f.||