theorem Th19: :: NUMBER17:19

for c1, c2, c3, c4, c5, c6, c7, c8 being Complex holds <*c1,c2,c3,c4,c5,c6,c7,c8*> " = <*(c1 "),(c2 "),(c3 "),(c4 "),(c5 "),(c6 "),(c7 "),(c8 ")*>