theorem :: XPRIMES0:1534

not 1534 is prime