theorem :: XPRIMES0:1044

not 1044 is prime