theorem Th12: :: NUMBER17:12

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