theorem :: XPRIMES0:469

not 469 is prime