theorem Th53: :: MEMBER_1:53

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