theorem Th25: :: ZMODUL05:36

for R being Ring
for V being LeftMod of R
for l being Linear_Combination of V
for A being Subset of V
for v being Element of V st v in A holds
(l ! A) . v = l . v