theorem Th2: :: BASEL_1:2

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