theorem :: XPRIMES1:1039

1039 is prime