theorem :: XPRIMES0:454

not 454 is prime