theorem :: XPRIMES0:667

not 667 is prime