Por lo dicho en el párrafo anterior, se puede demostrar que todo punto construible puede obtenerse por una tal secuencia de extensiones.