theorem Th37: :: MEMBER_1:37

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