theorem :: FUZNORM1:21

maxnorm = conorm minnorm