conorm prodnorm = probsum_conorm