theorem :: XPRIMES0:88

not 88 is prime