theorem :: XPRIMES0:1469

not 1469 is prime