theorem Th98: :: MEMBER_1:98

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