theorem :: XPRIMES0:674

not 674 is prime