theorem :: XPRIMES0:1524

not 1524 is prime