theorem :: XPRIMES0:1292

not 1292 is prime