theorem :: XPRIMES0:518

not 518 is prime