theorem :: XPRIMES2:7013

7013 is prime