theorem :: XPRIMES0:1234

not 1234 is prime