theorem Th13: :: MESFUN11:13

for X being non empty set
for r being Real
for f being without-infty Function of X,ExtREAL st r >= 0 holds
r (#) f is without-infty