use counter example (Co-NP?) to improve prime number calculation