theorem :: XPRIMES0:1290

not 1290 is prime