para todo formula_11 e formula_12 Para ver que esta definición de par ordenado es adecuada, hemos de mostrar que