theorem :: XPRIMES0:84

not 84 is prime