theorem :: XPRIMES0:1454

not 1454 is prime