theorem :: XPRIMES0:534

not 534 is prime