theorem :: XPRIMES0:462

not 462 is prime