theorem :: XPRIMES0:525

not 525 is prime