theorem Th9: :: POLYNOM5:9

for x being Element of F_Complex holds |.<*x*>.| = <*|.x.|*>