theorem :: FUZNORM1:32

for t being t-conorm holds t <= drastic_conorm