theorem Th5: :: HILB10_4:5

for c being Complex holds Product <%c%> = c