theorem :: MEMBER_1:205

for A, B being complex-membered set
for a being Complex holds a ** (A ** B) = (a ** A) ** B by Th90;