theorem :: XPRIMES0:1467

not 1467 is prime