theorem :: XPRIMES0:1671

not 1671 is prime