theorem :: XPRIMES0:1466

not 1466 is prime