de manera que el tamaño de "B" es O((log "p"("n")) "p"("n")²), lo cual es polinómico con respecto al tamaño "n" de la entrada, de manera que la transformación es ciertamente polinómica como se requiere.