Needs proof. It would be possible to give an upper bound on space that needs to be searched.
EXAMPLE
13 is here because no such number exists so that in the RRS of which exactly 13 nonprime numbers could be encountered. Phi[x]-Pi[x]+omega[x]=13 cannot be solved
