theorem :: FUZNORM1:31

for t being t-conorm holds maxnorm <= t