sentence1: it suffices to show there is a polynomial time reduction of the satisfiability problem to this factoring problem , where m is of magnitude some constant positive root of n .
sentence2: it suffices to prove that it is a flasque resolution of the constant sheaf r on x .