A theorem on implication functions defined from triangular norms.