theorem :: XPRIMES2:7069

7069 is prime