theorem Th95: :: RVSUM_1:95

for r being Complex holds Product <*r*> = r