theorem :: XPRIMES0:452

not 452 is prime