theorem :: FUZNORM1:23

for t being t-norm holds drastic_norm <= t