theorem :: XPRIMES0:513

not 513 is prime