- can we take this?
so (x-2)(x+2) < N,
so if x-2 is a factor, then k from (x+k) is greater than 2,
and also should be computable from N.
And this process may be continued... (does the story ever end...)