theorem :: XPRIMES0:325

not 325 is prime