theorem Th9: :: POLYNOM5:9

for x being Complex holds |.<*x*>.| = <*|.x.|*>