theorem :: XPRIMES0:1460

not 1460 is prime