theorem Th7: :: NUMBER17:7

for c being Complex holds <*c*> ^2 = <*(c ^2)*>