theorem :: VFUNCT_2:22

for M being non empty set
for V being ComplexNormSpace
for f being PartFunc of M,V
for z being Complex holds ||.(z (#) f).|| = |.z.| (#) ||.f.||