theorem Th33: :: ZMODUL02:33

for V being Z_Module
for L1, L2 being Linear_Combination of V
for a being Element of INT.Ring holds a * (L1 + L2) = (a * L1) + (a * L2) by VECTSP_6:33;