theorem :: XPRIMES0:1674

not 1674 is prime