theorem :: XPRIMES2:9743

9743 is prime