theorem :: XPRIMES0:182

not 182 is prime