theorem Th198: :: MEMBER_1:198

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