theorem :: XPRIMES0:1521

not 1521 is prime