Let language is represented as:
is obviously in , because the factor can act as a certificate. Because it is assuming that , there's a polynomial method that determines the result. Using the method multiple times allows to divide search space.
"Is there a factor in the range "In this it can represent that there's a factor in the other range if there isn't one.If is the number of bits in , the total number of times apply the algorithm is , or . As a result, it may isolate one factor with a polynomial number of executions of this technique.