theorem Th99: :: MEMBER_1:99

for a, s, t being Complex holds {a} ** {s,t} = {(a * s),(a * t)}