theorem :: XPRIMES1:4013

4013 is prime