Since no proof exists that factorization lacks a polynomial-time algorithm, asserting it is 'not eff...