theorem :: XPRIMES0:671

not 671 is prime