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