theorem Th106: :: NCFCONT1:106

for z being Complex
for CNS1, CNS2 being ComplexNormSpace
for X being set
for f being PartFunc of CNS1,CNS2 st f is_Lipschitzian_on X holds
z (#) f is_Lipschitzian_on X