Question about: x-23 prime