theorem Th100: :: MEMBER_1:100

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