Formalizaremos la construcción anterior, en la demostración de la siguiente proposición.