theorem :: XPRIMES0:1510

not 1510 is prime