theorem Th34: :: VFUNCT_2:34

for M being non empty set
for V being ComplexNormSpace
for f being PartFunc of M,V
for z being Complex holds
( f is total iff z (#) f is total ) by Def2;