for c, z being Complex holds c + <*z*> = <*(c + z)*>