theorem :: XPRIMES0:666

not 666 is prime