theorem :: XPRIMES0:1304

not 1304 is prime