Your understanding is correct: https://en.wikipedia.org/wiki/Karp%E2%80%93Lipton_theorem