theorem Th10: :: NUMBER17:10

for c1, c2, c3, c4 being Complex holds <*c1,c2,c3,c4*> ^2 = <*(c1 ^2),(c2 ^2),(c3 ^2),(c4 ^2)*>