theorem :: XPRIMES0:533

not 533 is prime