¿Es "Objeto alcanzable" realmente un problema NP-completo?

Estaba leyendo este documento donde los autores explican el Teorema 1, que establece que "Objeto alcanzable" (como se define en el documento) es NP-completo. Sin embargo, prueban la reducción solo en una dirección, es decir, desde 2P1N SAT hasta Objeto alcanzable. Esto solo prueba que el problema...