I think that many readers will have an easier time imagining 'what we can do by knowing a theorem is true, without knowing the proof' than the much more abstract case of 'knowing an NP-hard satisfiability problem was solved, without knowing the satisfaction', but you're correct that the Oracle idiom generalizes to the latter case.