theorem AMP: :: NEWTON04:42

for a, b being Complex holds a (#) <*b*> = <*(a * b)*>