theorem :: XPRIMES0:517

not 517 is prime