Este problema ilustra una técnica común utilizada en la teoría de la P-completitud.