NP-completeness applies to decision problems, not search; treating factorization as a decision probl...
This proposition has not been edited since the history system was added.