That's true in this case, but only because we have other results showing that various problems are NP-complete.