theorem :: XPRIMES0:1525

not 1525 is prime