theorem :: XPRIMES2:9803

9803 is prime