theorem :: XPRIMES0:1043

not 1043 is prime