theorem Th55: :: C0SP3:55

for X being non empty TopSpace
for T being RealLinearSpace
for f being Function of X,T
for a being Real holds support (a (#) f) c= support f