theorem :: COMSEQ_2:6

for s being Complex_Sequence holds (s *') " = (s ") *'