theorem :: XPRIMES2:9907

9907 is prime