theorem :: XPRIMES0:87

not 87 is prime