theorem :: XPRIMES0:494

not 494 is prime