theorem :: MORPH_01:28

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