theorem :: MEMBER_1:233

for A, B being complex-membered set
for a being Complex st a <> 0 holds
(A \+\ B) /// a = (A /// a) \+\ (B /// a)