theorem :: XPRIMES2:9781

9781 is prime