theorem :: XPRIMES0:508

not 508 is prime