Es irrelevante, porque puede demostrarse que si existiera un algoritmo que detectara la existencia de solución en formula_3, podría usarse también para detectar la existencia de solución en formula_4.