theorem :: POLYNOM5:10

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