theorem :: XPRIMES0:82

not 82 is prime