theorem :: XPRIMES0:532

not 532 is prime