Comment by nabla9

Translating a new problem to any problem that has already been proven to belong to that complexity class suffices.