theorem :: XPRIMES0:86

not 86 is prime