theorem :: XPRIMES0:510

not 510 is prime