y, adoptando el axioma del par, existe siempre.