theorem :: XPRIMES0:497

not 497 is prime