theorem :: XPRIMES0:496

not 496 is prime