theorem Th16: :: LMODFREE:17

for X being non empty set
for R being non degenerated Ring
for f, g being Element of (Free_LMod (X,R)) st Support (@ f) misses Support (@ g) holds
Support (@ (f + g)) = (Support (@ f)) \/ (Support (@ g))