theorem :: XPRIMES0:169

not 169 is prime