for X being non empty TopSpace
for T being NormedLinearTopSpace
for a being Real
for x being Point of (R_Normed_Space_of_C_0_Functions (X,T))
for y being Point of (R_NormSpace_of_BoundedFunctions ( the carrier of X,T)) st x = y holds
a * x = a * y