theorem :: XPRIMES0:1533

not 1533 is prime