Polynomial algorithms that prove an NP-Hard hypothesis implies an NP-hard conclusion