theorem Th3: :: LMODFREE:3

for R being Ring
for X being set
for f, g being finite-Support Function of X, the carrier of R holds (ADD (X,R)) . [f,g] is finite-Support Function of X, the carrier of R