theorem :: XPRIMES0:160

not 160 is prime