theorem :: XPRIMES0:1045

not 1045 is prime