for t being t-conorm holds maxnorm <= t