theorem CoHam: :: FUZNORM1:26

conorm Hamacher_norm = Hamacher_conorm