theorem :: XPRIMES1:1033

1033 is prime