theorem Th51: :: MEMBER_1:51

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