Supongamos que el problema de la parada tiene solución.