(a, b) = (c, d) ⇔ a = c ∧ b = d

の証明ですが、単なる論理遊びにしか見えません。