theorem :: MESFUN11:20

for X being non empty set
for r being non zero Real
for f being Function of X,ExtREAL holds
( f is without-infty & f is without+infty iff ( r (#) f is without-infty & r (#) f is without+infty ) )