theorem :: MORPH_01:31

for E being RealLinearSpace
for v being Element of E
for A, C being non empty binary-image of E holds (erosion C) . (v + A) = v + ((erosion C) . A)