theorem :: XPRIMES0:466

not 466 is prime