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