theorem :: FUZNORM1:27

conorm drastic_norm = drastic_conorm