theorem :: FUZNORM1:25

for t1, t2 being t-norm st t1 <= t2 holds
conorm t2 <= conorm t1