theorem :: XPRIMES0:1672

not 1672 is prime