theorem :: XPRIMES0:85

not 85 is prime