theorem :: XPRIMES1:1013

1013 is prime