theorem APB: :: FINSEQ_9:36

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