Puede demostrarse algo más: dada una longitud construible es posible construir su conjugado y su raíz cuadrada.