Work on 'Next prime number'