Es sencillo probar que dos pares ordenados formula_37 y formula_39 son iguales si y solamente si formula_40 y formula_41.