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.
Онда, ако можемо показати да се сваки случај старог проблема решава лако претварајући га у случај новог проблема и решавање ових, имамо контрадикцију.