theorem Th38: :: MEMBER_1:38

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