theorem :: XPRIMES0:8

not 8 is prime