theorem Th14: :: LMODFREE:15

for X being non empty set
for R being non degenerated Ring
for f being Element of (Free_LMod (X,R))
for x being Element of X st x in Support (@ f) holds
(@ f) . x = (@ (Sum (F_idxseq f))) . x