theorem :: XPRIMES0:164

not 164 is prime