theorem :: XPRIMES0:460

not 460 is prime