theorem :: XPRIMES0:161

not 161 is prime