theorem :: XPRIMES2:6983

6983 is prime