theorem :: XPRIMES0:1048

not 1048 is prime