theorem :: XPRIMES0:1040

not 1040 is prime