The proofs of many factorization results for an intuitionistic fuzzy binary relation 〈ρμ,ρν〉 involve dual proofs, one for ρμ with respect to a t-conorm ⊕ and one for ρν with respect to a t-norm ⊗. In this paper, we show that one proof can be obtained from the other by considering...