theorem Th12: :: CFUNCT_1:12

for C being non empty set
for f being PartFunc of C,COMPLEX
for r being Complex st r <> 0 holds
(r (#) f) " {0} = f " {0}