theorem Th52: :: MEMBER_1:52

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