conorm Lukasiewicz_norm = BoundedSum_conorm