theorem ConormLukasiewicz: :: FUZNORM1:30

conorm Lukasiewicz_norm = BoundedSum_conorm