theorem :: XPRIMES0:1325

not 1325 is prime