for t being t-norm holds t <= minnorm