theorem :: XPRIMES0:1526

not 1526 is prime