theorem :: NUMBER15:65

for c1, c2, c3 being Complex holds <*c1,c2,c3*> " = <*(c1 "),(c2 "),(c3 ")*>