theorem :: XPRIMES0:669

not 669 is prime