theorem :: FUZNORM1:24

for t being t-norm holds t <= minnorm