The inference from 'a polynomial algorithm exists for one NP-complete problem' to 'polynomial algori...