theorem Th66: :: CLVECT_2:66

for X being ComplexUnitarySpace
for seq being sequence of X holds seq is_compared_to seq