theorem :: XPRIMES0:1666

not 1666 is prime