theorem :: XPRIMES0:290

not 290 is prime