Then, if we can show that every instance of the old problem can be solved easily by transforming it into instances of the new problem and solving those, we have a contradiction.
آنگاه، اگر نشان دهیم که هر نمونه از مسئلهٔ قدیمی می‌تواند به راحتی با انتقال به نمونه‌هایی از مسئله‌های جدید حل شود، و آن‌ها را حل کند، با یک تناقض رو به رو می‌شویم.