theorem Th63: :: NUMBER15:63

for c being Complex holds <*c*> " = <*(c ")*>