A non-constructive proof that polynomial algorithms exist for all NP problems need not yield any act...