theorem :: XPRIMES0:1532

not 1532 is prime