theorem Th9: :: LMODFREE:10

for X being non empty set
for R being non degenerated Ring
for x being Element of X holds (ev_ (x,R)) . (0. (Free_LMod (X,R))) = 0. R